Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
341	PDF Document Add to Reading List Source URL: www.jair.org Language: English - Date: 2006-02-07 22:52:29 Model theory Artificial intelligence Knowledge compilation Boolean algebra Model checking Binary decision diagram Interpretation Conjunctive normal form Structure Mathematics Mathematical logic Logic
342	PDF Document Add to Reading List Source URL: www.d.umn.edu Language: English - Date: 2007-07-18 12:02:08 Mathematical logic Boolean algebra Linguistics Semantics Model theory Stable model semantics Propositional formula Literal Negation Logic Propositional calculus Logic programming
343	PDF Document Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2004-12-10 03:34:14 Logic programming Propositional calculus Boolean algebra Rules of inference Stable model semantics Answer set programming Resolution Atomic formula Negation Logic Mathematical logic Mathematics
344	PDF Document Add to Reading List Source URL: web.archive.org Language: English Science Boolean network Electrical circuits Cellular automaton Asynchrony Actor model Asynchronous system Mathematical and theoretical biology Cellular automata Synchronization Asynchronous cellular automaton
345	PDF Document Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:39:35 Ethology Boolean algebra Propositional calculus Cognitive psychology Thought Mental model Logical disjunction Psychology of reasoning Exclusive or Science Reasoning Logic
346	PDF Document Add to Reading List Source URL: imps.mcmaster.ca Language: English - Date: 2012-03-27 15:38:42 Boolean algebra Semantics Model theory Logical syntax Interpretation Tautology Logical connective Propositional formula Well-formed formula Logic Mathematical logic Propositional calculus
347	PDF Document Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2001-09-30 22:57:32 Boolean algebra Algebraic logic Diagrams Computability theory Binary decision diagram Model checking Indicator function Recursion Function Mathematics Mathematical logic Mathematical analysis
348	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2008-01-29 07:56:37 Model theory Information science Ontology Boolean satisfiability problem Description logic First-order logic Algorithm Axiom Satisfiability Logic Mathematical logic Mathematics
349	PDF Document Add to Reading List Source URL: www.pld.ttu.ee Language: English - Date: 1999-04-05 05:37:43 Model checking Automatic test pattern generation Mathematics Design Binary decision diagram Boolean algebra Diagrams
350	PDF Document Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2003-09-25 17:02:13 Algebraic structures Semigroup theory Universal algebra Mathematical structures Boolean algebra Monoid Variety Model theory Term algebra Abstract algebra Mathematics Algebra

UPDATE